Search results for "vertex degree"

showing 2 items of 2 documents

Miscellaneous Graph Preliminaries

2020

Summary This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library [2] to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series (cf. [8]) and most of them are preliminaries needed in [7] or other forthcoming articles.

05c07Discrete mathematicsComputational Mathematicsvertex degreesgraph theoryApplied MathematicsQA1-939Graph (abstract data type)Graph theory68v20MathematicsMathematicsFormalized Mathematics
researchProduct

Refined Finiteness and Degree Properties in Graphs

2020

Summary In this article the finiteness of graphs is refined and the minimal and maximal degree of graphs are formalized in the Mizar system [3], based on the formalization of graphs in [4].

Discrete mathematicsDegree (graph theory)maximum degreeApplied Mathematicsgraph theory68v20vertex degree05c07Computational MathematicsQA1-939MathematicsMathematicsMathematicsofComputing_DISCRETEMATHEMATICSminimum degreeFormalized Mathematics
researchProduct